The routing fix itself is already merged, but its change file still showed unchecked 4.x cleanup boxes because the finish command exited after GitHub had already deleted the source ref. This helper branch writes back the actual PR, merge, and prune evidence observed on main so the OpenSpec record matches reality.

Constraint: The original agent branch and worktree were already gone, so the evidence had to be recorded from a tiny helper branch on main
Rejected: Leave the unchecked cleanup boxes in place | violates the change definition of done
Confidence: high
Scope-risk: narrow
Reversibility: clean
Directive: When finish merges successfully but cleanup exits on an already-deleted ref, backfill the real proof instead of inventing a fresh narrative
Tested: gh pr view 306 --json number,url,state,mergedAt,mergeCommit
Tested: git worktree list
Tested: git branch -a
Not-tested: Automated suite (doc-only evidence backfill)